Agent Logic - PDFSEARCH.IO - Document Search Engine

Agent Logic
Results: 192

#	Item
51	SIMULATION HIGHWAY SUMMARY Simulation is used if a desired objects analysis using analytical solutions is cumbered, i.e., there are numerous important factors which are mainly stochastic. Using the above mentioned techn Add to Reading List Source URL: www.socsimnet.com Language: English - Date: 2011-01-02 16:32:00 Military terminology Electronic engineering Scientific modeling Science Operations research Simulation Social simulation Agent-based model Logic simulation Military technology Modeling and simulation Digital electronics
52	Formalising Motivational Attitudes of Agents Using the KARO Framework B. van Linder J.-J. Ch. Meyer W. van der Hoek Utrecht University Department of Computer Science P.O. Box Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:36:33 Multi-agent systems Ethology Epistemic modal logic Modal logic Action theory Cognitive robotics Agent-based model Motivation Artificial intelligence Science Logic
53	An Integrated Modal Approach to Rational Agents W. van der Hoek B. van Lindery J.-J. Ch. Meyer Utrecht University { Department of Computer Science P.O. Box { 3508 TB Utrecht { The Netherlands Abstract Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:36:34 Artificial intelligence Science Philosophical logic Multi-agent systems Game theory Action theory Kripke semantics Dynamic logic Intelligent agent Logic Mathematical logic Modal logic
54	Pre-proceedings of the KR2008-workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS), Sydney, September 2008 Edited by John-Jules Ch. Meyer and Jan Broersen August 11, 2008 Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2008-08-11 05:22:29 Philosophical logic Metalogic Branches of philosophy Epistemic modal logic Non-monotonic logic Model theory Epistemology Logic programming Entailment Logic Non-classical logic Modal logic
55	A Formal Embedding of AgentSpeak(L) in 3APL Koen Hindriks, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer University Utrecht, Department of Computer Science P.O. Box, 3508 TB Utrecht, The Netherland Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:37:21 Applied mathematics AgentSpeak Operational semantics Bisimulation Programming language Agent-based model State transition system 3APL Logic programming Multi-agent systems Computing Theoretical computer science
56	Overview of ISWC-2010 Tutorial: “Web Rules: Fundamentals, Applications, and Standards” (Nov. 8 half-day: afternoon) Benjamin Grosof, Vulcan Inc., http://www.mit.edu/~bgrosof/ Mike Dean, Raytheon BBN Technologies, htt Add to Reading List Source URL: www.mit.edu Language: English - Date: 2010-07-16 16:27:36 Semantic Web Rule Language Ontology Web Ontology Language Semantic reasoner DARPA Agent Markup Language RuleML Description logic F-logic Semantic technology Semantic Web Information Science
57	Agent-based semantic composition of Web services using distributed description logics Mourad Ouziri and Damien Pellier LIPADE, Universit´e Paris Descartes 45 rue des Saints P`eres, 75006 Paris, France {mourad.ouziri,dam Add to Reading List Source URL: www.math-info.univ-paris5.fr Language: English - Date: 2012-07-06 09:32:23 Information science Information Artificial intelligence Non-classical logic Year of birth missing Description logic Ontology Katia Sycara Semantic Web Web services Science
58	Table of Contents Message from the Chairs...................................................................................................................... xv Organizing Committee..................................... Add to Reading List Source URL: www.ipm.ac.ir Language: English - Date: 2011-09-28 00:50:08 Fuzzy logic Mathematics Logic in computer science Computational neuroscience Neuro-fuzzy Neural network Fuzzy control system Agent-based model Harmony search Artificial intelligence Science Logic
59	International Journal of Advanced Logistics, 2014 Vol. 3, Nos. 1–2, 10–16, http://dx.doi.org2287108XMAS-based control in industrial controllers Javier de las Morenas, Andrés García Higuera* an Add to Reading List Source URL: www.ecitl.eu Language: English - Date: 2015-01-12 06:48:51 Automation Science Industrial automation Artificial intelligence Programmable logic controller Control engineering Deliberative agent SCADA Agent-based model Multi-agent systems Technology Computing
60	Generating Responses and Explanations from RDF/XML and DAML+OIL Graham Wilcock and Kristiina Jokinen University of HelsinkiHelsinki, Finland Add to Reading List Source URL: www.ling.helsinki.fi Language: English - Date: 2003-05-24 06:25:44 Science Information science Technical communication Knowledge representation Cyc Knowledge representation and reasoning Description logic Ontology engineering DARPA Agent Markup Language Semantic Web Ontology Information